Modal Logic 0.1 - Basic Introduction